Search results for " imprecise probability."

showing 4 items of 4 documents

Transitive Reasoning with Imprecise Probabilities

2015

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.

Discrete mathematicsTransitive relationSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticabusiness.industryProbabilistic logicSyllogismInferenceCoherence (philosophical gambling strategy)Settore M-FIL/02 - Logica E Filosofia Della ScienzaComputer Science::Artificial IntelligenceImprecise probabilityCoherence default imprecise probability knowledge base p-consistency p-entailment reasoning syllogism weak transitivityProbability propagationKnowledge basebusinessMathematics
researchProduct

Probabilistic squares and hexagons of opposition under coherence

2017

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square and of the hexagon in terms of acceptability. Then, we show how to construct probabilistic versions of the square and of the hexagon of opposition by forming suitable tripartitions of the set of all coherent assessments on a finite sequence of conditional events. Finally, as an application, we present new versions of the square and of the…

Settore MAT/06 - Probabilita' E Statistica MatematicaSquare of opposition02 engineering and technologycoherence conditional events hexagon of opposition imprecise probability square of opposition quantified sentences tripartition01 natural sciencesSquare (algebra)Theoretical Computer ScienceSet (abstract data type)Probability theoryArtificial IntelligenceFOS: Mathematics0202 electrical engineering electronic engineering information engineering0101 mathematicsMathematicsApplied MathematicsProbability (math.PR)010102 general mathematicsProbabilistic logicMathematics - LogicCoherence (statistics)Settore MAT/01 - Logica MatematicaImprecise probabilityAlgebra03b48020201 artificial intelligence & image processingLogic (math.LO)AlgorithmMathematics - ProbabilitySoftwareSentence
researchProduct

Probabilistic semantics for categorical syllogisms of Figure II

2018

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of \(\bar{P}|S\) from the premise set \(\{M|P,\bar{M}|S\}\) is not informative, we add \(p(S|(S \vee P))>0\) as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the…

Transitive relationSequenceSettore MAT/06 - Probabilita' E Statistica MatematicaProbabilistic logicSyllogismConditional probability02 engineering and technologyCoherence (philosophical gambling strategy)Imprecise probabilityCombinatoricscoherence conditional events defaults generalized quantifiers imprecise probability.020204 information systems0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingCategorical variableMathematics
researchProduct

Coherent conditional probabilities and proper scoring rules

2011

In this paper we study the relationship between the notion of coherence for conditional probability assessments on a family of conditional events and the notion of admissibility with respect to scoring rules. By extending a recent result given in literature for unconditional events, we prove, for any given strictly proper scoring rule s, the equivalence between the coherence of a conditional probability assessment and its admissibility with respect to s. In this paper we focus our analysis on the case of continuous bounded scoring rules. In this context a key role is also played by Bregman divergence and by a related theoretical aspect. Finally, we briefly illustrate a possible way of defin…

total coherenceSettore MAT/06 - Probabilita' E Statistica Matematicabregman divergencestrong dominanceconditional scoring rulesConditional probability assessments coherence penalty criterion proper scoring rules conditional scoring rules weak dominance strong dominance admissibility Bregman divergence g-coherence total coherence imprecise probability assessments.weak dominancestrong dominance; conditional probability assessments; imprecise probability assessments; gcoherence; proper scoring rules; bregman divergence; weak dominance; coherence; imprecise probability assessments.; admissibility; g-coherence; penalty criterion; conditional scoring rules; total coherencepenalty criteriongcoherenceproper scoring rulescoherenceconditional probability assessmentsg-coherenceimprecise probability assessmentsadmissibility
researchProduct